HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract

Source URL: www.bioinf.uni-leipzig.de

• Functional programming
• Functional languages
• Data types
• Type theory
• Source code
• Generalized algebraic data type
• Haskell
• Type class
• Lisp
• Macro
• Guard
• Pattern matching

“ I d e n t i f y t h e Ch a mp i on ” An Organisational Pattern Language for Programme Committees1 Oscar Nierstrasz Software Composition Group, University of Berne2 Abstract. The peer review process for technical c

Source URL: scg.unibe.ch

Building ontologies from textual resources: A pattern based improvement using deep linguistic information Sami Ghadfi, Nicolas Béchet and Giuseppe Berio IRISA, UMR 6074, Université de Bretagne-Sud, 56017 Vannes, France

Source URL: ontologydesignpatterns.org

• Linguistics
• Semantic Web
• Cognitive science
• Syntax
• Natural language processing
• Knowledge representation
• Information science
• Technical communication
• Ontology learning
• Ontology
• Hyponymy and hypernymy
• Dependency grammar

(Prefix) Reversal Distance for (Signed) Strings with Few Blocks or Small AlphabetsI Laurent Bulteaua,1 , Guillaume Fertinb,2 , Christian Komusiewiczc,2,3 a Laboratoire d’Informatique Gaspard Monge, CNRS UMR 8049, Univ

Source URL: users.minet.uni-jena.de

• Formal languages
• Computability theory
• Theory of computation
• Character encoding
• String
• Computable function
• Permutation
• Pattern language

A pattern-based ontology for describing publishing workflows Aldo Gangemi1,2 , Silvio Peroni1,3 , David Shotton4 , and Fabio Vitali3 1

Source URL: ontologydesignpatterns.org

• Computing
• Workflow technology
• Semantic Web
• Information science
• World Wide Web Consortium
• Knowledge representation
• Knowledge engineering
• Management
• Workflow
• Ontology
• Web Ontology Language
• Resource Description Framework

An Ontology Design Pattern for Material Transformation Charles Vardeman1 , Adila A. Krisnadhi2,3 , Michelle Cheatham2 , Krzysztof Janowicz4 , Holly Ferguson1 , Pascal Hitzler2 , Aimee P. C. Buccellato1 , Krishnaprasad Th

Source URL: ontologydesignpatterns.org

• Semantic Web
• Information science
• Knowledge representation
• Technical communication
• Embodied energy
• Ontology
• Web Ontology Language
• Life-cycle assessment
• Sustainable energy
• Embodiment

Which is More Suitable for Chinese Word Segmentation, the Generative Model or the Discriminative One? ∗ F a

Source URL: aclweb.org

• Machine learning
• Artificial intelligence
• Learning
• Computational linguistics
• Language modeling
• Natural language processing
• Statistical natural language processing
• N-gram
• Bigram
• Generative model
• Language model
• Pattern recognition

Microsoft PowerPoint - A Pattern Language for Information Architecture - AODC.ppt

Source URL: www.uaeurope.com

1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Data types
• Functional languages
• Functional programming
• Procedural programming languages
• Standard ML
• Algebraic data type
• Tagged union
• Unification

Improving Pattern Tracking with a Language-Aware Tree Differencing Algorithm Nicolas Palix Jean-Rémy Falleri

Source URL: pages.lip6.fr